📚 Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

Thoughts on teaching multivariable calculus
blog.evanchen.cc·19h
👑Coq Tactics
Learning to Reason for Factuality
arxiv.org·1d
✓Automated Theorem Proving
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·4h
📝Concrete Syntax
Mathematical family
cameroncounts.wordpress.com·1d
⚔️Lean Theorem
Lobsters Interview with Hwayne
lobste.rs·21h·
Discuss: Lobsters
⚔️Lean Tactics
A thesis week
blog.mitrichev.ch·8h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
How Confident Are You, ChatGPT?
aylinakkus.github.io·8h·
Discuss: Hacker News
⚡Proof Automation
Integrating Argumentation Seamlessly
blog.mathed.page·2d
🔬Lean
On This Day in Math - August 9
pballew.blogspot.com·14h·
Discuss: www.blogger.com
📐Mathematical Art
Autodoc
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·4h
🌀Differential Geometry
NumPy for Data Science: Advanced Indexing, Amax Function & Array Iteration Explained
dev.to·2h·
Discuss: DEV
📊APL Heritage
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·7h
🤖Grammar Induction
Philosophy of Information
plato.stanford.edu·1d·
Discuss: Hacker News
📡Information theory
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
What It’s Like to Brainstorm with a Bot
newyorker.com·9h
🔲Cellular Automata
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
AI in Academia: Tool or Trap? Balancing Innovation and Intellectual Honesty in the Digital Age
circleid.com·1d
🤖AI Curation
Stuck? Build Your Language Backwards
jimmyhmiller.github.io·1d
💾Binary Linguistics